#define _CRT_SECURE_NO_WARNINGS 1
#include<stdio.h>
int main()
{
    int n = 0;
    int m = 0;
    scanf("%d %d", &n, &m);
    double ret = 0.1 * n * m;
    printf("%.2lf\n", ret);
    return 0;
}